Fix setting of environment variables by nt/configure.bat.
authorEli Zaretskii <eliz@gnu.org>
Sat, 8 Sep 2012 11:20:32 +0000 (14:20 +0300)
committerEli Zaretskii <eliz@gnu.org>
Sat, 8 Sep 2012 11:20:32 +0000 (14:20 +0300)
commitd9408861f3efe57ac510b916e29f846467e43f16
tree27bd9e3098675d87747a296fbf521c8970238c27
parent4e11fdf87eb795ab5a07b4f18ea0ddcc79e209e6
Fix setting of environment variables by nt/configure.bat.

 nt/configure.bat <use_extensions>: Don't leave it set in the
 environment when the script exits.
nt/ChangeLog
nt/configure.bat